GermanWikipedia - /page/entry.mu

<!DOCTYPE html>

<title>Gesetze der Form</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">Gesetze der Form</h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr">Gesetze der Form (im Original englisch Laws of Form, kurz: LoF) ist der Titel eines Werks von <a href="George_Spencer-Brown" title="George Spencer-Brown">George Spencer-Brown</a> aus dem Jahr 1969, das <a href="Philosophie_der_Logik" title="Philosophie der Logik">Philosophie der Logik</a>, mathematische Grundlagenforschung, <a href="Kybernetik" title="Kybernetik">Kybernetik</a> und <a href="Erkenntnistheorie" title="Erkenntnistheorie">Erkenntnistheorie</a> berührt. Das Buch stellt drei aufeinander aufbauende graphische <a href="Kalk%C3%BCl" title="Kalkül">Kalküle</a> vor, die Spencer-Brown mit dem Ziel einer universellen Algebra entwickelt:<a href="#cite_note-1">[1]</a>

<ol><li>die primäre Arithmetik (Kapitel 4)</li>

<li>die primäre Algebra (Kapitel 6)</li>

<li>Gleichungen zweiter Ordnung (Kapitel 11)</li></ol>

Alle Kalküle beruhen auf der einzigen grundlegenden Operation des <a href="Unterscheiden" class="mw-redirect" title="Unterscheiden">Unterscheidens</a>. Gelegentlich wird auch nur die primäre Algebra als Gesetze der Form bezeichnet.

<div class="mw-heading mw-heading2"><h2 id="Allgemeines">Allgemeines</h2></div>

Der Ausgangspunkt von Spencer-Brown ist die logische Form der Unterscheidung. Der als „Triff eine Unterscheidung!“ (draw a distinction) umschriebene basale Akt wird im Weiteren mit sich selbst kombiniert und erzeugt auf diesem Wege eine Vielfalt neuer Formen, die als Grundbegriffe (<a href="Wahrheitswert" title="Wahrheitswert">wahr und falsch</a>, <a href="Symbol" title="Symbol">Symbol</a>, <a href="Signal" title="Signal">Signale</a>, <a href="Name" title="Name">Namen</a>, Prozesse, sich selbst verändernde Formen, <a href="Operator_(Mathematik)" title="Operator (Mathematik)">Operator</a> usw.) angesehen werden können. Mit diesen Begriffen lassen sich formale Kalküle der Logik und der Mathematik darstellen.

Spencer-Brown stellt im Gange seiner Untersuchung die <a href="Klassische_Logik" title="Klassische Logik">klassische Logik</a> als Grundlage der Mathematik in Frage und interpretiert sie neu. Bedeutend sind die erkenntnistheoretischen Konzepte der Laws of Form. „Überhaupt nichts kann durch Erzählen gewusst werden“<a href="#cite_note-2">[2]</a> ist eine der Kernaussagen der LoF. Wissen erlangt man demzufolge nur in der <a href="Erfahrung" title="Erfahrung">Erfahrung</a> aus den Ergebnissen praktischen Handelns. Im Unterschied zu klassischen Kalkülen der Logik, die die logische Struktur von <a href="Sachverhalt" title="Sachverhalt">Sachverhalten</a> und Aussagen abbilden sollen, versteht George Spencer-Brown die logische Form als etwas, das der Erkenntnis als Prozess und Handlung entspricht. Während es für eine <a href="Formale_Sprache" title="Formale Sprache">formale Sprache</a> beliebig ist, was ihre nicht-logischen Konstanten bezeichnen, wird in den Laws of Form das Unterscheiden und Bezeichnen selbst – als simultaner Akt – zum Ausgangspunkt für formale Operationen. Spencer-Browns Kalkül liefert also nicht nur eine formale Syntax und Semantik, sondern auch eine formale <a href="Semiotik" title="Semiotik">Semiotik</a>. Darüber hinaus bietet das Konzept der Re-entry of the form (into the form) die Möglichkeit, eine formale Vorstellung von Zustandswechsel und Gedächtnis zu formulieren.

Die Laws of Form werden von ihren Anhängern als Minimalkalkül für mathematische Wahrheiten betrachtet. Vertreter mehrerer Wissenschaftszweige berufen sich daher explizit auf die Laws of Form, etwa <a href="Niklas_Luhmann" title="Niklas Luhmann">Niklas Luhmann</a> in seiner <a href="Soziologische_Systemtheorie" title="Soziologische Systemtheorie">soziologischen Systemtheorie</a> oder <a href="Humberto_Maturana" class="mw-redirect" title="Humberto Maturana">Humberto Maturana</a> in der Theorie des <a href="Radikaler_Konstruktivismus" title="Radikaler Konstruktivismus">radikalen Konstruktivismus</a>.

<div class="mw-heading mw-heading3"><h3 id="Veröffentlichung">Veröffentlichung</h3></div>

Spencer-Browns formaler Kalkül wurde 1969 erstmals unter dem Titel Laws of Form veröffentlicht. Das Buch wurde seitdem mehrmals neu aufgelegt und in verschiedene Sprachen übersetzt. Die Idee zum Buch entwickelte Spencer-Brown bereits während seiner Tätigkeit als Ingenieur bei <a href="British_Railways" class="mw-redirect" title="British Railways">British Railways</a>, in der er Ende der 50er Jahre damit beauftragt war, elektrische Schaltungen für das Zählen von Waggons in Tunneln zu entwickeln. Dabei bestand das – damals fundamentale – technische Problem, die Zähler vorwärts und rückwärts zählen zu lassen und bereits gezählte Waggons zu speichern. Spencer-Brown löste das Problem durch die Verwendung bis dato unbekannter imaginärer Boolescher Werte und es „entstand zugleich ein neues Problem: Seine Idee funktionierte, aber es gab keine mathematische Theorie, die diese Vorgehensweise rechtfertigen konnte“.<a href="#cite_note-Lau-S9-3">[3]</a> Die Ausarbeitung des Kalküls, der diese neuen imaginären Booleschen Werte zuließ, war der Auslöser für die Laws of Form.<a href="#cite_note-Lau-S9-3">[3]</a>

Das Buch umfasst 141 Seiten, von denen 55 den mathematischen Kalkül umfassen, und gilt als für Laien nur schwer verständlich. Es existieren eine Reihe von „Erläuterungsbüchern“ zu den LoF.<a href="#cite_note-4">[4]</a>

<div class="mw-heading mw-heading2"><h2 id="Grundkonzepte_der_Laws_of_Form">Grundkonzepte der Laws of Form</h2></div>

Dem ersten Kapitel der Laws of Form sind sechs chinesische Schriftzeichen vorangestellt, die wie folgt übersetzt werden können: „Der Anfang von Himmel und Erde ist namenlos“.<a href="#cite_note-5">[5]</a> Ohne Bezeichnungen ist die Welt leer und unbestimmt. Das Bezeichnen von etwas setzt jedoch eine Unterscheidung voraus: Das Bezeichnete muss vom Rest unterschieden werden. Die Vorstellung der Bezeichnung und des Unterscheidens bilden für Spencer-Brown den Ausgangspunkt, wobei er der Unterscheidung logischen Vorrang einräumt: „We take as given the idea of distinction and the idea of indication, and that we cannot make an indication without drawing a distinction.“<a href="#cite_note-Laws_of_Form-S1-6">[6]</a>

Die Unterscheidung teilt die anfängliche Unbestimmtheit in Bereiche. Die Unterscheidung („distinction“) ist dann eindeutig, wenn sie die Bereiche vollständig voneinander trennt, sodass ein „Punkt von der einen Seite nur auf die andere gelangt, indem er die gemeinsame Grenze kreuzt“.<a href="#cite_note-7">[7]</a> Dadurch, dass die Unterscheidung eine geschlossene Grenze zieht, konstituiert sie das, was sie umschließt, als bezeichenbares Objekt und somit einen Unterschied von Innen und Außen. Das Objekt wird von der Unterscheidung exakt und vollständig umschlossen („Distinction is the perfect continence“).<a href="#cite_note-Laws_of_Form-S1-6">[6]</a> Es genügt daher, die Form der Unterscheidung als einziges Symbol einzuführen („We take therefore the form of distinction for the form“).<a href="#cite_note-Laws_of_Form-S1-6">[6]</a> Die so getroffene Unterscheidung kann durch ein Symbol auf der Innen- oder Außenseite (token) markiert werden.<a href="#cite_note-8">[8]</a>

In der Literatur wird als Beispiel gelegentlich ein Kreis auf einem weißen Blatt Papier angeführt:<a href="#cite_note-9">[9]</a> Der Kreis trennt eindeutig außen von innen in dem Sinn, dass man von außen nach innen oder umgekehrt nur gelangen kann, wenn man die Kreislinie „überschreitet“ (cross). Die vollständig eingeschlossene Kreisfläche ist als Innenseite („angezeigte“ Seite) eindeutig vom umgebenden Raum unterschieden – unmarked space (engl., wörtlich „unmarkierter Raum“).

<div class="mw-heading mw-heading3"><h3 id="Unterscheidung_durch_Kreuzen">Unterscheidung durch Kreuzen</h3></div>

Spencer-Brown verwendet für die Markierung einer Unterscheidung das englische Wort „cross“, was als Substantiv (Markierung), aber auch als Aufforderung (kreuze!) gelesen werden kann und soll. Das ist insofern bedeutsam, als zu einem späteren Zeitpunkt in den Laws of Form der Begriff der „Markierung“ eingeführt wird. Das Treffen einer Unterscheidung wird durch die o. a. Definition mit dem Kreuzen einer Grenze und den unterschiedlichen Werten der Seiten einer Unterscheidung gleichgesetzt. Durch eine Unterscheidung werden zwei Grundoperationen ausgeführt: Entweder man wechselt von einem unmarkierten Zustand in einen markierten Zustand (z. B.: Wir gehen von einem leeren Blatt Papier aus, markieren einen „Kreis“ und gehen damit von „Nicht-Kreis“ zu „Kreis“) oder man wechselt von einem markierten Zustand in einen unmarkierten Zustand (z. B.: Wir gehen von einem „Kreis“ aus und gehen durch Unterscheidung über zu „Nicht-Kreis“).

<div class="mw-heading mw-heading3"><h3 id="Unterscheidung_durch_Nennen">Unterscheidung durch Nennen</h3></div>

Danach – in einem erkenntnistheoretischen Bezug – beschreiben die Laws of Form den Zusammenhang von Unterscheidung, Motiv, Wert und Nennung eines Namens: Eine Unterscheidung setzt ein Motiv (des Unterscheidenden) voraus, und es kann kein Motiv geben, wenn nicht Inhalte unterschiedlich im Wert gesehen werden.<a href="#cite_note-Laws_of_Form-S1-6">[6]</a> Eine Unterscheidung setzt also voraus, dass es jemanden gibt, der die Unterscheidung trifft, und dass dieser Akteur einen Wertunterschied sieht, der ihn zur Unterscheidung veranlasst. Da eine Unterscheidung einen Inhalt bezeichnet, der einen Wert besitzt, kann dieser Wert auch benannt werden, und der Name kann mit dem Wert des Inhalts identifiziert werden („Thus the calling of the name can be identified with the value of the content“).<a href="#cite_note-Laws_of_Form-S1-6">[6]</a>

Gemäß der Laws of Form verfügt man über zwei Wege, eine Unterscheidung zu treffen: den des Kreuzens, also des Treffens einer Unterscheidung durch Überschreitung einer Grenze, und den des Nennens, also der Verwendung eines Namens stellvertretend für die Unterscheidung.

<th>Im Original der Laws of Form</th>

<th>Erläuterung

</th></tr>

<th>Axiom 1

</th>

<td>The value of a call made again is the value of the call.

</td>

<td>Eine erneute Nennung (= Unterscheidung) ist der Wert der (ursprünglichen) Nennung. Im mathematischen Sinn ändert sich der Wert einer Unterscheidung nicht, wenn man sie nochmals benennt.

</td></tr>

<tr>

<th>Axiom 2

</th>

<td>The value of crossing made again is NOT the value of the crossing.

</td>

<td>Eine Unterscheidung durch Kreuzen führt nicht in denselben Zustand zurück. Im Beispiel: Erste Unterscheidung führt zu „Kreis“, die zweite Unterscheidung führt zu „Nicht-Kreis“.

</td></tr></tbody></table>

<a href="Rudolf_Kaehr" title="Rudolf Kaehr">Rudolf Kaehr</a> hat in seiner Arbeit "Komplementarität in der Graphematik" vergleichsweise eine Logik mit der Vertauschung dieser beiden Axiome gegenübergestellt.

<div class="mw-heading mw-heading3"><h3 id="Symbolische_Darstellung">Symbolische Darstellung</h3></div>

Die Laws of Form führen dann ein Symbol für die Grenzziehung einer Unterscheidung ein, dargestellt durch das cross:   . Dabei wird das, was links unten unter dem „Winkel“ steht, von allem anderen abgegrenzt (man kann sich das cross als geschlossenes Rechteck vorstellen). cross und blank page (eine leere Seite ohne Zeichen) sind die grundlegenden Ausdrücke für das Bestehen oder Nichtbestehen einer Spencer-Brown-Form. In Textdarstellungen wird die geschlossene Grenzziehung auch durch Klammern wiedergegeben: etwa durch [ ] oder < >, die leere Seite durch einen Punkt „.“ oder durch „{}“. Die allgemeine durch das cross angezeigte Form entspricht einer Grenzziehung, die einen Bereich von einem anderen trennt. Sie besagt so viel wie Hier-So! und dort – jenseits der Grenze – auf jeden Fall Nicht-So! Neben dem Winkel sind daher auch andere Symbole möglich, etwa eine Einkreisung.

In dieser Symbolsprache lassen sich die obigen beiden Grundaxiome wie folgt formalisieren:

<td>Aus Axiom 1:</td>

<td style="text-align:center">„The value of a call made again is the value of the call“:</td>

<td>die Form der Kondensation:</td>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy">  </td>

</td></tr>

<tr>

<td>Aus Axiom 2:</td>

<td style="text-align:center">„The value of crossing made again is NOT the value of the crossing“:</td>

<td>die Form der Aufhebung:</td>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy"></td>

</td></tr></tbody></table>

Danach führt Spencer-Brown das Konzept der Tiefe des Raumes ein, das ineinander verschachtelte Symbole erlaubt, und daher zu strukturell reichen Formen führt. Des Weiteren werden vier fundamentale Kanons vorgestellt, die Regeln für die Behandlung solcher Formen behandeln. Die Formen können nach obigen beiden Grundaxiomen stufenweise substituiert („gekürzt“) werden (vgl. insbesondere den 3. Kanon der Substitution: „In any expression, let any arrangement be changed for an equivalent arrangement“)<a href="#cite_note-12">[12]</a> wie in folgendem Beispiel:

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy">    </td>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy">

</td></tr>

<td>durch Kondensation</td>

<td>durch Aufhebung

</td></tr></tbody></table>

Anmerkung zum Vorgang: Zuerst werden die beiden unteren linken 'crosses' durch Kondensation nach Axiom 1 zu einem 'cross'. Dann werden das dadurch entstandene verschachtelte 'cross' und das schon vorhandene verschachtelte 'cross' nach Axiom 2 aufgehoben. Es verbleibt ein 'cross'.

Zum Ende des 3. Kapitels der Laws of Form stellt GSB klar, was er unter dem vorangegangenen sogenannten Indikationenkalkül versteht – nämlich den Kalkül, der dadurch bestimmt wird, die beiden obigen Grund-Formen als Ausgangspunkt zu nehmen („Call the calculus determined by taking the two primitive equations as initials the calculus of indication“) – und er leitet über zur primären Arithmetik, die alle Aussagen umfassen und auf alle Aussagen beschränkt sein soll, die sich aus dem Indikationenkalkül ergeben („Call the calculus limited to the forms generated from direct consequences of these initials the primary arithmetic“).<a href="#cite_note-13">[13]</a>

<div class="mw-heading mw-heading2"><h2 id="Primäre_Arithmetik">Primäre Arithmetik</h2></div>

In Kapitel 4 der LoF führt GSB den o. a. Indikationenkalkül in eine sog. „primäre Arithmetik“ über. Ausgangspunkt sind die aus der Form der Kondensation und der Form des Kreuzens gewonnenen Handlungsanweisungen („Initiale“).

<td>Initial 1 (Zahl):</td>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy">  </td>

<td>(erlaubt Änderungen in der Zahl der Markierungen)</td>

</td></tr>

<tr>

<td>Initial 2 (Ordnung):</td>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy"></td>

<td>(erlaubt Streichung oder Hinzufügung von Markierungen)</td>

</td></tr></tbody></table>

und entwickelt aus diesen beiden Initialen neun Theoreme zur primären Algebra:

<th>Theorem</th>

<th>Erläuterung

</th></tr>

<tr>

<th>1

</th>

<td>Die Form jeder endlichen Zahl von Kreuzen kann als Form eines Ausdrucks aufgefasst werden.

</td>

<td>Theorem des „Kürzens“ (siehe oben).       <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle =}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy">

</td></tr>

<tr>

<th>2

</th>

<td>Wenn ein beliebiger Raum ein leeres Kreuz durchdringt, dann ist der Wert, der in diesem Raum bezeichnet wird, der markierte Zustand.

</td>

<td>Besteht ein arithmetischer Ausdruck („c“) aus einem beliebigen Teilausdruck (hier: „b“) und steht daneben ein einzelnes Kreuz, dann ist der Wert des Ausdruckes der markierte Zustand.

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle c=}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/891d40a9b18752b04065caee655d008b3ec11428.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:3.46ex; height:1.676ex;" alt="{\displaystyle c=}" loading="lazy">  <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle b\Leftrightarrow c=}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle b\Leftrightarrow c=}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/110bac592d2b71fc5745187c0d79a4f8097b3940.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:8.072ex; height:2.176ex;" alt="{\displaystyle b\Leftrightarrow c=}" loading="lazy">

</td></tr></tbody></table>

</td></tr>

<tr>

<th>3

</th>

<td>Die Vereinfachung eines Ausdrucks ist eindeutig.

</td>

<td>Wenn ein Ausdruck gemäß Theorem 1 auf verschiedenen Wegen vereinfacht werden kann, so wird auf allen möglichen Wegen das Ergebnis eindeutig der markierte oder der unmarkierte Zustand sein.

</td></tr>

<tr>

<th>4

</th>

<td>Der Wert jedes Ausdrucks, der konstruiert wird, indem Schritte von einem gegebenen einfachen Ausdruck aus getan werden, ist verschieden von dem Wert jedes Ausdrucks, der konstruiert wird, indem Schritte von einem unterschiedlichen einfachen Ausdruck aus getan werden.

</td>

<td>Umkehrung von Theorem 3: Ausdrücke können durch Erweiterung „geschachtelt“ werden. Unterschiedliche Ausgangs-Ausdrücke haben unterschiedliche Ergebnisse.

</td></tr>

<tr>

<th>5

</th>

<td>Identische Ausdrücke drücken denselben Wert aus.

</td>

<td>N.A.

</td></tr>

<tr>

<th>6

</th>

<td>Ausdrücke desselben Wertes können miteinander identifiziert werden.

</td>

<td>N.A.

</td></tr>

<tr>

<th>7

</th>

<td>Ausdrücke, die mit demselben Ausdruck äquivalent sind, sind auch miteinander äquivalent.

</td>

<td>N.A.

</td></tr>

<tr>

<th>8

</th>

<td>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =\qquad }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/3a9bcb24c921ece68e996378873acf8601c30476.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.171ex; width:6.453ex; height:1.343ex;" alt="{\displaystyle =\qquad }" loading="lazy">

</td></tr></tbody></table>

</td>

<td>An dieser Stelle werden variable Teilausdrücke in die LoF eingeführt. Die Beweisführung erfolgt, indem für p sowohl der markierte als auch der unmarkierte Zustand eingesetzt wird und beide Fälle zum gleichen Ergebnis (dem unmarkierten Zustand) führen.

</td></tr>

<tr>

<th>9

</th>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy">pq<math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/0d1ecb613aa2984f0576f70f86650b7c2a132538.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.049ex; height:1.676ex;" alt="{\displaystyle r}" loading="lazy">

</td>

<td>Auch Varianz-Bedingung genannt. Ist r der unmarkierte Zustand, so sind die Gleichungen sofort identisch. Ist r der markierte Zustand, so sind auf der linken Seite die inneren Teilstücke nach zweimaliger Anwendung von Theorem 2 markiert und die inneren crosses heben sich nach Initial 2 auf, sodass nur der markierte Zustand auf der linken Seite übrig bleibt. Die rechte Seite der Gleichung ist in diesem Fall nach Theorem 2 ebenfalls der markierte Zustand.

</td></tr></tbody></table>

Die Theoreme 8 und 9 dienen gleichzeitig als Initiale der Brownschen primären Algebra.

<div class="mw-heading mw-heading2"><h2 id="Primäre_Algebra">Primäre Algebra</h2></div>

In Kapitel 6 der LoF definiert GSB die Theoreme 8 und 9 der primären Arithmetik ihrerseits als Initiale der primären Algebra. Auf Basis dieser Initiale demonstriert GSB neun sog. „Konsequenzen“ (Entwicklung von Formen durch folgerichtige Anwendung der erlaubten Rechenschritte): „We shall proceed to distinguish particular patterns, called consequences, which can be found in sequential manipulations of these initials.“<a href="#cite_note-16">[16]</a>

In Kapitel 8 der LoF sucht GSB zu zeigen, dass jede Konsequenz in der Algebra auf ein beweisbares Theorem über die Arithmetik hinweisen muss. Darauf folgend steht der Beweis, dass auch tatsächlich jedes Theorem über die Arithmetik in der Algebra demonstriert werden kann (Kapitel 9) sowie die Unabhängigkeit der beiden algebraischen Initialgleichungen (Kapitel 10).<a href="#cite_note-17">[17]</a>

Im Hinblick auf den <a href="G%C3%B6delscher_Unvollst%C3%A4ndigkeitssatz" title="Gödelscher Unvollständigkeitssatz">Gödelschen Unvollständigkeitssatz</a> haben insbesondere die postulierte gleichzeitige Vollständigkeit und Widerspruchsfreiheit der primären Algebra für Diskussion in der Literatur gesorgt. „Eine naheliegende Vermutung ist, dass die Sätze von Kurt Gödel hier keine Anwendung finden, weil die Laws of Form das Imaginäre zu repräsentieren erlauben […] Wenn das Imaginäre einem formalen System inhärent ist, lassen sich die Sätze von Gödel nicht mehr auf dieses System applizieren.“<a href="#cite_note-18">[18]</a>

<div class="mw-heading mw-heading2"><h2 id="Gleichungen_2._Grades">Gleichungen 2. Grades</h2></div>

Gleichungen 2. Grades in der Bedeutung der LoF erhält man, indem unendliche algebraische Ausdrücke durch Selbstbezüglichkeit als endliche Gleichungen dargestellt werden. Es wird der Begriff imaginärer Wert eingeführt, der die Oszillation zwischen markiertem und unmarkiertem Zustand ausdrücken soll, und der in späterer Folge zur Anwendung <a href="Komplexe_Zahl" title="Komplexe Zahl">komplexer Werte</a> in der Algebra verwendet wird, die ihrerseits als „Analogien zu den komplexen Zahlen in der gewöhnlichen (numerischen) Algebra“<a href="#cite_note-19">[19]</a> verwendet werden können. Für die mathematische Form der Darstellung des imaginären Wertes prägt GSB den Begriff der re-entry („Wiedereintritt“) der Form in die Form.

Ausgangspunkt ist die Demonstration, dass die u. a. mathematische Form sich durch folgerichtige Umformung gemäß den Regeln der LoF in einen unendlichen Term der gleichen Wiederkehr transformieren lässt. Diese unendliche Wiederholung lässt sich in einen endlichen Formalismus (hier ausgedrückt durch <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/132e57acb643253e7810ee9702d9581f159a1c61.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.279ex; height:2.509ex;" alt="{\displaystyle f}" loading="lazy">) überführen, der in jeder ganzzahligen Tiefe identisch mit dem ganzen Ausdruck ist. Da die Form in ihrem eigenen Raum wieder auftritt, erhielt sie den Namen re-entry.

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/505a4ceef454c69dffd23792c84b90f488543743.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: 0.307ex; margin-bottom: -0.478ex; width:1.808ex; height:1.343ex;" alt="{\displaystyle =}" loading="lazy"> … abab<math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \ldots =}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \ldots =}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/dae705cb2621b7894b360f0cf1c9302064e533a6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.177ex; height:1.509ex;" alt="{\displaystyle \ldots =}" loading="lazy"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/132e57acb643253e7810ee9702d9581f159a1c61.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.279ex; height:2.509ex;" alt="{\displaystyle f}" loading="lazy"> a b

</td></tr></tbody></table>

Auf dieser Basis entwickelt GSB zwei derartige rekursive Funktionen: Die Funktion <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle G}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle G}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f5f3c8921a3b352de45446a6789b104458c9f90b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.827ex; height:2.176ex;" alt="{\displaystyle G}" loading="lazy"> („Gedächtnisfunktion“), die sowohl für    als auch für den leeren Raum <code>{ }</code> erfüllt ist, sowie <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle O}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/9d70e1d0d87e2ef1092ea1ffe2923d9933ff18fc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.773ex; height:2.176ex;" alt="{\displaystyle O}" loading="lazy"> („Oszillationsfunktion“), deren Lösung kein feststehender Ausdruck ist, sondern sich infinit verlängert.

<th>Oszillation:</th>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f=}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/586f5d0e167ccc4cc6fec5db58c2518304376f11.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.732ex; height:2.509ex;" alt="{\displaystyle f=}" loading="lazy"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/132e57acb643253e7810ee9702d9581f159a1c61.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.279ex; height:2.509ex;" alt="{\displaystyle f}" loading="lazy">

</th></tr>

<tr>

<th>Gedächtnis:</th>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f=}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/586f5d0e167ccc4cc6fec5db58c2518304376f11.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.732ex; height:2.509ex;" alt="{\displaystyle f=}" loading="lazy"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/132e57acb643253e7810ee9702d9581f159a1c61.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.279ex; height:2.509ex;" alt="{\displaystyle f}" loading="lazy">

</th></tr></tbody></table>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle O}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/9d70e1d0d87e2ef1092ea1ffe2923d9933ff18fc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.773ex; height:2.176ex;" alt="{\displaystyle O}" loading="lazy"> wird im Formalismus der LoF verwendet, um eine mathematische Form der Zeit auszudrücken. <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O:f=(f)}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle O:f=(f)}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/02c0b8fc4de4906725ed09b1c6d1b7da9707194e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.175ex; height:2.843ex;" alt="{\displaystyle O:f=(f)}" loading="lazy"> ist nur lösbar, wenn sie mit unendlich ineinander geschachtelten <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f:\ldots (())\ldots }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f:\ldots (())\ldots }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ab1963c5201b4d04c5f6e1aeabd4b5b0b8f24ea4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.055ex; height:2.843ex;" alt="{\displaystyle f:\ldots (())\ldots }" loading="lazy"> gleichgesetzt wird, und wenn <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/132e57acb643253e7810ee9702d9581f159a1c61.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.279ex; height:2.509ex;" alt="{\displaystyle f}" loading="lazy"> die Gleichung lösen soll, muss <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/132e57acb643253e7810ee9702d9581f159a1c61.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.279ex; height:2.509ex;" alt="{\displaystyle f}" loading="lazy"> infinit verlängert werden. Diese Gleichung führt – obwohl im Raum (sprich mit den Mitteln der primären Arithmetik) nicht lösbar – dadurch zu einer Vorstellung von Zeit, indem man das „Nacheinander“ der Zustände auflöst und nur den imaginären Zustand der Form betrachtet.<a href="#cite_note-20">[20]</a>

<div class="mw-heading mw-heading2"><h2 id="Bedeutung_und_Rezeption">Bedeutung und Rezeption</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Mathematik">Mathematik</h3></div>

Während der Formalismus der LoF sich in großen Teilen in den der <a href="Boolesche_Algebra" title="Boolesche Algebra">Booleschen Algebra</a> überführen lässt, besteht zwischen beiden ein fundamentaler Unterschied: Während die Boolesche Algebra die Gesetze der Logik, hier insbesondere den <a href="Satz_vom_ausgeschlossenen_Dritten" title="Satz vom ausgeschlossenen Dritten">Satz vom ausgeschlossenen Dritten</a> als axiomatische Grundlage verwendet, gilt diese Annahme nicht in der Brownschen Algebra. Es wird angenommen, dass die LoF die „unentdeckte“ Arithmetik zur <a href="Boolesche_Algebra" title="Boolesche Algebra">Booleschen Algebra</a> darstellen.<a href="#cite_note-21">[21]</a>

Im elften Kapitel der Gesetze der Form werden oszillierende Werte für die Formen eingeführt, die auf <a href="Selbstreferenz" class="mw-redirect" title="Selbstreferenz">Selbstbezüglichkeit</a> beruhen. Dabei kann durch einen <a href="Reentry_(Erkenntnistheorie)" title="Reentry (Erkenntnistheorie)">Reentry</a> eine bestimmte Form innerhalb ihrer selbst wieder aufgerufen werden. Die oszillierenden Werte („<>“ oder „.“) werden nicht als Widerspruch oder Syntaxfehler gedeutet, den es etwa durch eine <a href="Typentheorie" title="Typentheorie">Typentheorie</a> zu verbieten gälte. Spencer-Brown deutet die Oszillation zwischen zwei Werten vielmehr als „mathematische Zeit“. In der Anmerkung zu Kapitel 11 wird auf die Parallele zur Wurzel aus −1 verwiesen, die sich als <a href="Imagin%C3%A4re_Zahl" title="Imaginäre Zahl">imaginäre Zahl</a> auch als Oszillation zwischen 1 und −1 darstellen lässt (vgl. dazu <a href="Louis_H._Kauffman" title="Louis H. Kauffman">Louis H. Kauffman</a>).<a href="#cite_note-22">[22]</a> Legt man die traditionelle Darstellung der imaginären Zahlen als die Punkte der y-Achse in der <a href="Komplexe_Zahlen#Komplexe_Ebene" class="mw-redirect" title="Komplexe Zahlen">komplexen Ebene</a> zugrunde, wird die y-Achse damit zum gedanklichen Platzhalter für die Oszillation. Dieser Ansatz ist für die Physik bedeutsam, insofern diese auf <a href="Komplexe_Zahlen#Komplexe_Zahlen_in_der_Physik" class="mw-redirect" title="Komplexe Zahlen">komplexe Zahlen zur Beschreibung von Naturprozessen</a> zurückgreift.

Der chilenische Biologe und Systemwissenschaftler <a href="Francisco_Varela" class="mw-redirect" title="Francisco Varela">Francisco Varela</a> hat 1975 eine Erweiterung des Brownschen Indikationenkalküls zu einem dreiwertigen Kalkül vorgelegt.<a href="#cite_note-23">[23]</a>

Spencer-Brown selbst hat im Nachgang zu den LoF neun mathematische und philosophische Anwendungen vorgeschlagen, darunter für das <a href="Vier-Farben-Satz" title="Vier-Farben-Satz">Vier-Farben-Problem</a>, die <a href="Riemannsche_Vermutung" title="Riemannsche Vermutung">Riemannsche Vermutung</a><a href="#cite_note-24">[24]</a>, die <a href="Goldbachsche_Vermutung" title="Goldbachsche Vermutung">Goldbachsche Vermutung</a> und die <a href="Fermatsche_Vermutung" class="mw-redirect" title="Fermatsche Vermutung">Fermatsche Vermutung</a>.<a href="#cite_note-25">[25]</a>

<div class="mw-heading mw-heading3"><h3 id="Unmarked_Space">Unmarked Space</h3></div>

Außerhalb der Mathematik wird aus den Laws of Form einem eine besondere Bedeutung zuteil, dem Beobachterdilemma: Jede von einem Beobachter getroffene Beobachtung (<a href="Unterscheidung" title="Unterscheidung">Unterscheidung</a>) impliziert demnach eine zweite Unterscheidung. Die erste ist die (ggf. auch mehrwertige) Unterscheidung des jeweils beobachteten Gegenstands („Die Zahl der Brillenträger nimmt zu“), die zweite ist die implizit zugrundeliegende Unterscheidung, was man beobachtete und was nicht (hier etwa die Zahl der Blinden, der Hörgeräteträger, der Handybesitzer, der Gesamtbevölkerung usw.).

Diesem bei jeder Beobachtung ausgesparten <a href="Raum_(Philosophie)" title="Raum (Philosophie)">Raum</a> des Nicht-Beobachteten gibt Spencer-Brown nun den Namen unmarked space. Bei jeder – wissenschaftlichen, erkenntnistheoretischen, phänomenologischen – Beobachtung entstehe dieser Raum. Umgekehrt sei bei dem Vergleich etwa zwischen einem Phänomen und seiner Beschreibung stets der unmarked space im Spiel.

Eine solche Beobachtung der Beobachtung wird auch „<a href="Reentry_(Erkenntnistheorie)" title="Reentry (Erkenntnistheorie)">re-entry</a>“ genannt und ist als Theoriefigur universell, also auch über die Mathematik hinaus, einsetzbar. Sie wird etwa bei dem <a href="Soziologe" title="Soziologe">Soziologen</a> Niklas Luhmann als Wiedereintritt in die Unterscheidung übersetzt und zu einer zentralen Theoriefigur der <a href="Systemtheorie_(Luhmann)" title="Systemtheorie (Luhmann)">luhmannschen Systemtheorie</a>.

<div class="mw-heading mw-heading3"><h3 id="Systemtheorie">Systemtheorie</h3></div>

Insbesondere in der Systemtheorie fanden die LoF eine über die Mathematik hinausgehende Beachtung. So wurden immer wieder Parallelen der LoF zu grundlegenden Konzepten der Systemtheorie (z. B. Unterscheidung, Beobachtung als Trennung von Objekt und Umwelt, Erkenntnis als Konstruktion und Rekursion etc.) gezogen. <a href="Niklas_Luhmann" title="Niklas Luhmann">Niklas Luhmann</a> hat darauf hingewiesen, dass er seinen grundlegenden <a href="Differenz_(Luhmann)" title="Differenz (Luhmann)">differenztheoretischen</a> Ansatz den LoF entnommen hat.<a href="#cite_note-26">[26]</a> Ebenso wurden Parallelen zu Konzepten des <a href="Radikaler_Konstruktivismus" title="Radikaler Konstruktivismus">radikalen Konstruktivismus</a> und der Soziologie hergestellt. Der deutsche Soziologe <a href="Dirk_Baecker" title="Dirk Baecker">Dirk Baecker</a> hat in zwei Aufsatzsammlungen Anwendungen und Interpretationen der LoF für die <a href="Soziologie" title="Soziologie">Soziologie</a> zusammengestellt.

<div class="mw-heading mw-heading2"><h2 id="Kritik">Kritik</h2></div>

Kritiker der Laws of Form weisen auf die Gleichbedeutung zur Booleschen Algebra hin und widersprechen Spencer-Browns Behauptungen zum Selbstbezug. Im Abstract einer Publikation von 1979 mit dem Titel Flaws of Form (engl. für Fehler der Form)<a href="#cite_note-27">[27]</a> schreiben die Autoren:

„G. Spencer Browns Buch Laws of Form erfreut sich einer Beliebtheit unter Sozial- und Biowissenschaftlern. Die Befürworter behaupten, dass das Buch eine neue Logik einführt, die ideal für ihre Forschungsgebiete geeignet sei, und dass die neue Logik die Probleme der Selbstbezüglichkeit löst. Diese Behauptungen sind falsch. Wir zeigen, dass Browns System eine Boolesche Algebra in einer obskuren Notation ist und dass seine "Lösungen" für die Probleme der Selbstreferenz auf einem Missverständnis von <a href="Russells_Paradoxon" class="mw-redirect" title="Russells Paradoxon">Russells Paradoxon</a> basieren.“

</blockquote>

</div></div>

<div class="mw-heading mw-heading2"><h2 id="Siehe_auch">Siehe auch</h2></div>

<ul><li><a href="Distinktion_(Logik)" title="Distinktion (Logik)">Distinktion</a></li>

<li><a href="Differenz_(Luhmann)" title="Differenz (Luhmann)">Differenz (Luhmann)</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<dl><dt>Primärtext</dt></dl>

<ul><li>George Spencer-Brown: Laws of Form. Allen & Unwin, London 1969 (Erstausgabe).

<ul><li>George Spencer-Brown: Laws of Form. 1994. Portland OR: Cognizer Company, ISBN 0-9639899-0-1 (jüngste Ausgabe).</li>

<li>Deutsche Übersetzung: Gesetze der Form. Bohmeier Verlag, Leipzig 2008, ISBN 978-3-89094-580-4.</li></ul></li></ul>

<dl><dt>Sekundärliteratur</dt></dl>

<ul><li>Dirk Baecker (Hrsg.): Kalkül der Form. Suhrkamp, Frankfurt/Main 1993, ISBN 3-518-28668-4.</li>

<li>Dirk Baecker (Hrsg.): Problems of Form. 1988, ISBN 0-8047-3424-0.</li>

<li>Louis H. Kauffman: <a rel="nofollow" class="external text" href="http://www2.math.uic.edu/~kauffman/CHK.pdf">The Mathematics of C.S. Peirce.</a> (PDF; 171 kB). In: Cybernetics and Human Knowing. 8 (2001), S. 79–110.</li>

<li>Holm von Egidy: Beobachtung der Wirklichkeit. Differenztheorie und die zwei Wahrheiten in der buddhistischen Madhyamika-Philosophie. Carl-Auer-Systeme Verlag, Heidelberg 2007 (E-Book). ISBN 3-89670-328-5.</li>

<li>Felix Lau: Die Form der Paradoxie. Eine Einführung in die Mathematik und Philosophie der „Laws of Form“ von George Spencer Brown. Verlag für Systemische Forschung im Carl-Auer-Verlag, Heidelberg 2005/2008, ISBN 3-89670-352-8.</li>

<li>Niklas Luhmann: Die Wissenschaft der Gesellschaft. Suhrkamp, Frankfurt/Main, 1994, ISBN 978-3-518-28601-2.</li>

<li>Tatjana Schönwälder-Kuntze, Katrin Wille, Thomas Hölscher: George Spencer Brown. Eine Einführung in die ‚Laws of Form‘. VS Verlag für Sozialwissenschaften, Wiesbaden 2004/2009, ISBN 3-531-14082-5.</li>

<li>Francisco Varela: A calculus for self-reference. In: International Journal of General Systems. 2, S. 5–24.</li>

<li>Rudolf Kaehr: <a rel="nofollow" class="external text" href="http://www.vordenker.de/rk/rk_Komplementaritaet-in-der-Graphematik_2012.pdf">Zu einer Komplementarität in der Graphematik - Semiotik zwischen Browns Unterscheidungen und Mersennes Differenzierungen</a> (PDF; 1,2 MB)</li>

<li>Matthias Varga von Kibéd, Achim Ferrari: George Spencer Brown. Die Unterscheidungstheorie Spencer Browns und die Unterscheidungsformaufstellung. Aachen 2008, ISBN 978-3-942131-04-9 (DVD-Box).</li></ul>

<dl><dt>Kritik</dt></dl>

<ul><li>Paul Cull und William Frank: Flaws of Form In: Int. J. General Systems, 1979, Vol. 5, S. 201–211, <a href="https://doi.org/10.1080/03081077908547450" class="extiw external" title="doi:10.1080/03081077908547450">doi:10.1080/03081077908547450</a></li>

<li>B. Banaschewski: On G. Spencer Brown's laws of form. In: Notre Dame Journal of Formal Logic, Vol. XVIII, no 3, 1977, S. 507–509 <a href="https://doi.org/10.1305/ndjfl/1093888028" class="extiw external" title="doi:10.1305/ndjfl/1093888028">doi:10.1305/ndjfl/1093888028</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

/* start https://de.wikipedia.org/ */

.mw-parser-output .webarchiv-memento a{color:inherit}

/* end https://de.wikipedia.org/ */

</style><a rel="nofollow" class="external text" href="https://web.archive.org/web/20150620012459/http://www.lawsofform.org/">Laws of Form – Website von Richard Shoup.</a> (<a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a> vom 20. Juni 2015 im <a href="Internet_Archive" title="Internet Archive">Internet Archive</a>)</li>

<li><a rel="nofollow" class="external text" href="https://web.archive.org/web/20141217111948/http://www.lawsofform.org/aum/index.html">Transkription der AUM-Konferenz über die LoF vom 19. bis 20. März 1973</a> (<a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a> vom 17. Dezember 2014 im <a href="Internet_Archive" title="Internet Archive">Internet Archive</a>) (mit <a href="George_Spencer-Brown" title="George Spencer-Brown">George Spencer-Brown</a>, <a href="Gregory_Bateson" title="Gregory Bateson">Gregory Bateson</a>, <a href="Heinz_von_F%C3%B6rster" class="mw-redirect" title="Heinz von Förster">Heinz von Förster</a> u. a.).</li>

<li>Eric Weisstein: <a rel="nofollow" class="external text" href="https://mathworld.wolfram.com/Spencer-BrownForm.html">Spencer-Brown Form.</a> In: <a href="MathWorld" title="MathWorld">MathWorld</a> (englisch).</li>

<li>Konferenz zu 50 Jahren Erstveröffentlichung <a rel="nofollow" class="external text" href="https://lof50.com/">LoF 2019</a>. Videoaufzeichnung dazu, sowie original Audios von Vorträgen Browns in Heidelberg 1994 sind <a rel="nofollow" class="external text" href="http://www.westdenhaag.nl/exhibitions/19_08_Alphabetum_3">hier</a>.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><a href="#cite_ref-1">↑</a> „A principal intention of this essay is to separate what are known as algebras of logic from the subject of logic, and to re-align them with mathematics.“ In: LoF. 1969, S. 11 der Einleitung.

</li>

<li id="cite_note-2"><a href="#cite_ref-2">↑</a> Laws of Form. S. 12 der Einleitung.

</li>

<li id="cite_note-Lau-S9-3">↑ <a href="#cite_ref-Lau-S9_3-0">a</a> <a href="#cite_ref-Lau-S9_3-1">b</a> Lau, 2008, S. 9.

</li>

<li id="cite_note-4"><a href="#cite_ref-4">↑</a> Siehe <a href="#Sekundärliteratur">Liste zur Sekundärliteratur</a>.

</li>

<li id="cite_note-5"><a href="#cite_ref-5">↑</a> Schönwälder-Kuntze/Wille/Hölscher, S. 64 f.

</li>

<li id="cite_note-Laws_of_Form-S1-6">↑ <a href="#cite_ref-Laws_of_Form-S1_6-0">a</a> <a href="#cite_ref-Laws_of_Form-S1_6-1">b</a> <a href="#cite_ref-Laws_of_Form-S1_6-2">c</a> <a href="#cite_ref-Laws_of_Form-S1_6-3">d</a> <a href="#cite_ref-Laws_of_Form-S1_6-4">e</a> George Spencer-Brown: Laws of Form. Allen & Unwin, London 1969, S. 1.

</li>

<li id="cite_note-7"><a href="#cite_ref-7">↑</a> Lau, S. 40 ff.

</li>

<li id="cite_note-8"><a href="#cite_ref-8">↑</a> Zur Markierung beider Seiten mit Symbolen siehe Axiom 1.

</li>

<li id="cite_note-9"><a href="#cite_ref-9">↑</a> Lau, 2008, S. 46 ff.

</li>

<li id="cite_note-10"><a href="#cite_ref-10">↑</a> Laws of Form, S. 4

</li>

<li id="cite_note-11"><a href="#cite_ref-11">↑</a> Laws of Form, S. 5

</li>

<li id="cite_note-12"><a href="#cite_ref-12">↑</a> Laws of Form. S. 7.

</li>

<li id="cite_note-13"><a href="#cite_ref-13">↑</a> Laws of Form. S. 11.

</li>

<li id="cite_note-14"><a href="#cite_ref-14">↑</a> gemäß Axiom 1; Laws of Form, S. 4

</li>

<li id="cite_note-15"><a href="#cite_ref-15">↑</a> gemäß Axiom 2; Laws of Form, S. 5

</li>

<li id="cite_note-16"><a href="#cite_ref-16">↑</a> LoF. S. 28.

</li>

<li id="cite_note-17"><a href="#cite_ref-17">↑</a> Schönwälder-Kuntze/Wille/Hölscher, S. 140 ff.

</li>

<li id="cite_note-18"><a href="#cite_ref-18">↑</a> Lau, S. 83.

</li>

<li id="cite_note-19"><a href="#cite_ref-19">↑</a> LoF. S. 11 der Einleitung.

</li>

<li id="cite_note-20"><a href="#cite_ref-20">↑</a> „Nevertheless […] it is real in relation with time and can, in relation with itself, become determinate in space, and thus real in the form.“ In: LoF. S. 61.

</li>

<li id="cite_note-21"><a href="#cite_ref-21">↑</a> Lau, S. 119 ff.

</li>

<li id="cite_note-22"><a href="#cite_ref-22">↑</a> <a href="Louis_H._Kauffman" title="Louis H. Kauffman">Louis H. Kauffman</a>: <a rel="nofollow" class="external text" href="http://www2.math.uic.edu/~kauffman/TimeParadox.pdf">Time, Imaginary Value, Paradox, Sign and Space.</a> (PDF; 180 kB).

</li>

<li id="cite_note-23"><a href="#cite_ref-23">↑</a> Varela, 1975.

</li>

<li id="cite_note-24"><a href="#cite_ref-24">↑</a> Appendices 1 bis 9 der englischen Ausgabe der LoF, Bohmeier Verlag, Heidelberg, 2008.

</li>

<li id="cite_note-25"><a href="#cite_ref-25">↑</a> Laws of Form. E. P. Dutton, New York, 1979, S. 19, 111, 125.

</li>

<li id="cite_note-26"><a href="#cite_ref-26">↑</a> Lau, S. 21; Luhmann 1994.

</li>

<li id="cite_note-27"><a href="#cite_ref-27">↑</a> Paul Cull und William Frank: Flaws of Form In: Int. J. General Systems, 1979, Vol. 5, S. 201–211, <a href="https://doi.org/10.1080/03081077908547450" class="extiw external" title="doi:10.1080/03081077908547450">doi:10.1080/03081077908547450</a>

</li>

</ol></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-03-10" href="https://de.wikipedia.org/wiki/?title=Gesetze_der_Form&oldid=254079901">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>